char HOST_EXTRA_OBJS_SYMBOL;
